\documentclass{article}

\newtheorem{definition}{Definition}

%  \usepackage{}

\begin{document}

\begin{definition}

  Signature --- set of functions.

  %Сигнатура - набор функций и предикатніх символов с указанием валентностей.

\end{definition}


\begin{itemize}

  \item Hello!
  \item Good bye!

\end{itemize}

\end{document}



